general upper derivative

一般上导数